Separating invariants
نویسنده
چکیده
This paper studies separating subsets of an invariant ring or, more generally, of any set consisting of functions. We prove that a subset of a finitely generated algebra always contains a finite separating subset. We also show that a general version of Noether’s degree bound holds for separating invariants, independently of the characteristic. The paper also contains a conceptual investigation of the difference between separating and generating subsets.
منابع مشابه
Separating Invariants and Finite Reflection Groups
Roughly speaking, a separating algebra is a subalgebra of the ring of invariants whose elements distinguish between any two orbits that can be distinguished using invariants. In this paper, we introduce a more geometric notion of separating algebra. This allows us to prove that when there is a polynomial separating algebra, the group is generated by reflections, and when there is a complete int...
متن کاملar X iv : m at h / 05 11 30 0 v 1 [ m at h . A G ] 1 1 N ov 2 00 5 Typical separating invariants
It is shown that a trivial version of polarization is sufficient to produce separating systems of polynomial invariants: if two points in the direct sum of the G–modules W and m copies of V can be separated by polynomial invariants, then they can be separated by invariants depending only on ≤ 2 dim(V ) variables of type V ; when G is reductive, invariants depending only on ≤ dim(V ) + 1 variabl...
متن کاملPolarization of Separating Invariants
We prove a characteristic free version of Weyl’s theorem on polarization. Our result is an exact analogue of Weyl’s theorem, the difference being that our statement is about separating invariants rather than generating invariants. For the special case of finite group actions we introduce the concept of cheap polarization, and show that it is enough to take cheap polarizations of invariants of j...
متن کاملSeparating Invariants for Modular P -groups and Groups Acting Diagonally
We study separating algebras for rings of invariants of finite groups. We describe a separating subalgebra for invariants of p-groups in characteristic p using only transfers and norms. Also we give an explicit construction of a separating set for invariants of groups acting diagonally. Let F be an algebraically closed field and let G be a finite group. Consider a faithful representation ρ : G ...
متن کاملSeparating Invariants for Arbitrary Linear Actions of the Additive Group
We consider an arbitrary representation of the additive group Ga over a field of characteristic zero and give an explicit description of a finite separating set in the corresponding ring of invariants.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Symb. Comput.
دوره 44 شماره
صفحات -
تاریخ انتشار 2009